Nuprl Definition : ecase1 11,40
ecase1(e;info;i.f(i);l,e'.g(l;e'))
== case info(e) of inl(p) => f(p.1) | inr(q) => g(q.1.1;(q.1).2) 
latex

Definitionst.1, t.2
FDL editor aliasesecase1

origin